formal logic

美 [ˈfɔːrml ˈlɑːdʒɪk]英 [ˈfɔːml ˈlɒdʒɪk]
  • 形式逻辑
formal logicformal logic

noun

1
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Synonym: symbolic logic mathematical logic

数据来源:WordNet

  1. You arrived at your conclusion using the methods of formal logic .

    你这个结论是按照形式逻辑的方法推论出来的。

  2. Research of Formal Logic Application to the Scientific Management

    形式逻辑基础理论在科技管理中的应用初探

  3. Also on objective basis of basic laws of formal logic

    也谈形式逻辑基本规律的客观基础

  4. On the Basic Law Status of Implication Law in Formal Logic

    论蕴涵规律在形式逻辑中的基本规律地位

  5. Two problems in mathematics , philosophy and formal logic

    数学、哲学与形式逻辑中的两个问题

  6. Formal logic analysis system .

    形式化逻辑分析方法。

  7. Analysis on Contemporary Formal Logic of Traditional Concepts

    传统概念问题的当代形式逻辑剖析

  8. The Use of Formal Logic in Teaching of Ancient Prose in Chinese for College Students

    《大学语文》古代散文教学中形式逻辑的应用问题

  9. The formal logic is an basic subject with highly speciality and theory .

    形式逻辑是一门专业性强、理论性强的基础学科,又是一门难理解较枯燥的课程。

  10. Function of truth value table in formal logic

    真值表在形式逻辑中的功能

  11. Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols

    形式化逻辑方法在分析认证协议以及电子商务协议中的应用

  12. A graphical representation of a program using formal logic .

    应用形式逻辑来图示一个程序。

  13. The classical proposition logic is the basis of modern formal logic .

    经典命题逻辑是现代形式逻辑的基础。

  14. This thesis deals with physics teaching from the angle of formal logic .

    本论文从形式逻辑的角度审视物理教学。

  15. Formal Logic and the Translation of Scientific English

    形式逻辑与科技英语翻译

  16. Based on formal logic , program verification explores another way for ensuring safety .

    程序验证探寻一条逻辑验证为基础的解决软件安全性的道路。

  17. Formal logic is the basis of logic , which mainly studies the structure of thinking .

    其中的形式逻辑学是逻辑学的基础,它主要研究思维的结构。

  18. Formal Logic : On the Designing of Architectural Form

    关于建筑形式的逻辑

  19. Formal Logic and Quality Education

    形式逻辑与素质教育

  20. The concept of formal logic concerns models ;

    形式逻辑的概念关系模型;

  21. Seeing the revision of mechanical drawing standards from formal logic

    从形式逻辑看机械制图标准的修订&谈机械制图标准中的一些逻辑错误

  22. These research and the creation of formal logic as a science in the development is an important stage .

    这些形式化的创立和研究在逻辑作为一门科学的发展中是一个重要的阶段。

  23. On Formal Logic and Training of Thinking

    形式逻辑与思维训练

  24. On the embody of formal logic in Advanced math concept

    谈高等数学概念中形式逻辑的体现

  25. Social Exam and Teaching Reform of Formal Logic for Non-philosophy Major in University

    社会考试与高校非哲学专业《形式逻辑》教学改革

  26. We cannot deny the fair responsibility principle only by common formal logic either .

    也不能以普通的形式逻辑简单地推翻公平责任原则。

  27. Therefore , knowledge of formal logic and physics knowledge is inextricably linked .

    所以,形式逻辑知识与物理学知识之间有着千丝万缕的联系。

  28. The development of formal logic and its implementation in computing machinery is fundamental to computer science .

    发展形式逻辑和其执行情况的计算机是计算机科学的基础。

  29. People can reconsider various judgments of legal issues by using rules of formal logic .

    人们可以运用形式逻辑规则反思关于法律问题的种种判断。

  30. A Brief Talk about Formal Logic and Dialectical Logic

    形式逻辑与辩证逻辑关系浅议